Atomless varieties
نویسنده
چکیده
We define a nontrivial variety of boolean algebras with operators such that every member of the variety is atomless. This shows that not every variety of boolean algebras with operators is generated by its atomic members, and thus establishes a strong incompleteness result in (multi-)modal logic.
منابع مشابه
A Complete Boolean Algebra That Has No Proper Atomless Complete Sublagebra
There exists a complete atomless Boolean algebra that has no proper atomless complete subalgebra. An atomless complete Boolean algebra B is simple [5] if it has no atomless complete subalgebra A such that A 6= B. The question whether such an algebra B exists was first raised in [8] where it was proved that B has no proper atomless complete subalgebra if and only if B is rigid andminimal. For mo...
متن کاملTheorems on the core of an economy with infinitely many commodities and consumers
It is known that the classical theorems of Grodal [Grodal, B., 1972. A second remark on the core of an atomless economy. Econometrica 40, 581–583] and Schmeidler [Schmeidler, D., 1972. A remark on the core of an atomless economy. Econometrica 40, 579–580] on the veto power of small coalitions in finite dimensional, atomless economies can be extended (with some minor modifications) to include th...
متن کاملATOMLESS r-MAXIMAL SETS
We focus on L(A), the filter of supersets of A in the structure of the computably enumerable sets under the inclusion relation, where A is an atomless r-maximal set. We answer a long standing question by showing that there are infinitely many pairwise non-isomorphic filters of this type.
متن کاملLow n Boolean Subalgebras
Every lown Boolean algebra, for 1 ≤ n ≤ 4, is isomorphic to a computable Boolean algebra. It is not yet known whether the same is true for n > 4. However, it is known that there exists a low5 subalgebra of the computable atomless Boolean algebra which, when viewed as a relation on the computable atomless Boolean algebra, does not have a computable copy. We adapt the proof of this recent result ...
متن کاملLoeb Measures and Borel Algebras
It is shown that a measurable function from an atomless Loeb probability space (Ω,A, P ) to a Polish space is at least continuum-to-one valued almost everywhere. It follows that there is no injective mapping h : [0, 1] → Ω such that h([a, b]) is Loeb measurable for each 0 ≤ a < b ≤ 1 and P (h([0, 1])) > 0. Thus, when an atomless Loeb measurable algebra on an internal set of cardinality continuu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 68 شماره
صفحات -
تاریخ انتشار 2003